2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Автор:
Gordon Plotkin
, Автор:
Colin Stirling
, Автор:
Mads Tofte
Категория:
Языкознание
Размер книги: 83.06 Mb
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Автор:
Gordon Plotkin
, Автор:
Colin Stirling
, Автор:
Mads Tofte
Размер книги: 9.93 Mb
Commentary on Standard ML
Автор:
Robin Milner
, Автор:
Mads Tofte
Размер книги: 708 Kb
The Definition of Standard ML - Revised
Автор:
Robin Milner
, Автор:
Mads Tofte
, Автор:
Robert Harper
, Автор:
David MacQueen
Размер книги: 16 Kb
The definition of Standard ML, revised
Автор:
Robin Milner
, Автор:
Mads Tofte
, Автор:
Robert Harper
, Автор:
David MacQueen
Категория:
Cs_Computer science
,
CsPl_Programming languages
Размер книги: 663 Kb
